$\forall$$a$, $b$, $c$:$\mathbb{Z}$. ($a$ $\sim$ $b$) $\Rightarrow$ ($b$ $\sim$ $c$) $\Rightarrow$ ($a$ $\sim$ $c$)